Merging Information Under Constraints: A Logical Framework
ثبت نشده
چکیده
منابع مشابه
Merging Information Under Constraints: A Logical Framework
The paper considers the problem of merging several belief bases in the presence of integrity constraints and proposes a logical characterization of operators having a majority behaviour or a consensual one. Then a representation theorem in terms of pre-orders on interpretations is given. The close connection between belief revision and merging operators is shown and it is shown that the proposa...
متن کاملMerging information under constraints: a qualitative framework
We consider the problem of merging several belief bases in the presence of integrity constraints. We propose a logical characterization of operators having a majority behaviour or a consensual one. Then we give a representation theorem in terms of pre-orders on interpretations. We show the close connection between belief revision and merging operators and we show that our proposal extends the p...
متن کاملMerging Stratified Knowledge Bases under Constraints
In this paper, we propose a family of operators for merging stratified knowledge bases under integrity constraints. The operators are defined in a model-theoretic way. Our merging operators can be used to merge stratified knowledge bases where no numerical information is available. Furthermore, the original knowledge bases to be merged can be individually inconsistent. Both logical properties a...
متن کاملTowards A Unified Framework For Schema Merging
Merging schemas to create a mediated view is a recurring problem in applications related to data interoperability. The task becomes particularly challenging when the schemas are highly heterogeneous and autonomous. Classical data integration systems rely on a mediated schema created by human experts through an intensive design process. Automatic generation of mediated schemas is still a goal to...
متن کاملA logical reasoning framework for modelling and merging uncertain semi-structured information
Semi-structured information in XML can be merged in a logic-based framework [7,9]. This framework has been extended to deal with uncertainty, in the form of probability values, degrees of beliefs, or necessity measures, in the XML documents [8]. In this paper, we discuss how this logical framework can be used to model and reason with structured scientific knowledge on the Web in medical and bio...
متن کامل